laws of logic in discrete mathematics